perm filename VIT[CYB,DBL] blob sn#153318 filedate 1975-04-07 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.PORTION MACROS
C00008 00004	.NARROW 6,8
C00013 ENDMK
C⊗;
.DEVICE XGP

.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 4  "BASI30"
.FONT 5  "NGR40"
.FONT 7  "NGR20"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 89 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 4 TO 51  CHARS 1 TO 89
.NARROW 6,8
.TITLE AREA FOOTING LINES 53 TO 54
.COUNT PAGE PRINTING "1"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.!XGPLFTMAR←110
.AT "ffi" ⊂ IF THISFONT ≤ 4 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 4 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 4 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 4 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 4 THEN "∨"  ELSE "fαl" ⊃;
.PORTION MACROS
.SELECT 1
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.FAD
.SECNUM←0
.PAGE←0
.NEXT PAGE
.TURN OFF "{"
.INDENT 0
.SELECT 1
.PAGE←0
.PORTION THESIS
.TURN OFF "{∞→}"   
.PAGE←1
.NARROW 6,8
.NOFILL
.BEGIN CENTER
.SELECT 5
Curriculum Vitae
⊗1for⊗*
.SELECT 2
Douglas B. Lenat

.END
.NOFILL PREFACE 65 MILLS  SELECT 1

⊗2↓_Education_↓⊗*

B.A. in Physics, U. of Pennsylvania, May, 1972
B.A. in Mathematics, U. of Pennsylvania, May, 1972
M.S. in Applied Mathematics, U. of Pennsylvania, May, 1972
Admission to candidacy for the Ph.D. in Computer Science, Stanford U., May, 1974

⊗2↓_Honors_↓⊗*

Finalist in 23rd International Science Fair, Detroit, June, 1968.
Elected to membership in the Mathematical Association of America, March, 1970.
Elected president of Pi Mu Epsilon (Pennsylvania αα Chapter), September, 1970.
Elected to membership in Sigma Xi, May, 1972.
Highest mark on Computer Science Departmental Comprehensive Exam, January, 1974.
Highest mark on Stanford Artificial Intelligence Qualifying Exam, May, 1974.

⊗2↓_Papers_↓⊗*

Unpublished:
    ⊗4Acoustic Holography in Air at 40 MHz⊗*, June, 1971.
    ⊗4Conceptual Generalization of Holography to Four Dimensions⊗*, October, 1971.
    ⊗4Neuronal Spaces⊗*, Master's Thesis, May, 1972.

Published:
    ⊗4Progress Report on Program-Understanding Systems⊗*, Memo AIM-240,
	CS Report STAN-CS-74-444, Artificial Intelligence Laboratory,
	Stanford University, August, 1974. Co-authored with Green, Waldinger,
	Barstow, Elschlager, McCune, Shaw, and Steinberg,
    ⊗4Synthesis of Large Programs from Specific Dialogues⊗*, Proceedings of the
	International Symposium on Proving and Improving Programs, Le Chesnay,
	France, July, 1975 (forthcoming).
    ⊗4Duplication of Human Actions by an Interacting Community of Knowledge Modules⊗*,
	Proceedings of the Third International Congress of Cybernetics and Systems,
	Bucharest, Roumania, August, 1975 (forthcoming).
    ⊗4BEINGS: Knowledge as Interacting Experts⊗*, Proceedings of the Fourth
	International Conference on Artificial Intelligence, Tbilisi, USSR,
	September, 1975 (forthcoming).

⊗2↓_Experience_↓⊗*

Statistical Programmer, Psychology Department, Beaver College, Wyncote, Pa., 1967.
	Reference: Professor Bernard Mausner
Scientific Programmer, U.S. Navy project, M&T Co., Philadelphia, Pa., 1968-70.
	Reference: Mr. J. Smith and Mr. Paul Saia
Scientific Programmer, A.E.C. project, Physics Department, U. of Pa., 1970-72.
	Reference: Professor Walter Selove and Dr. J. Bensinger
President, STEP-ONE, U. of Pa. volunteer program for tutoring ghetto youth, 1971.
Currently: 3rd year Graduate student research assistant, Artificial Intelligence Lab,
	Computer Science Department, Stanford University, Stanford, Ca.
	Adviser: Professor C. C. Green